(wait_reading_process_input): Don't do adaptive read

buffering if waiting for a specific process.

diff --git a/src/process.c b/src/process.c
index 52d9bf3fff5f6c3a727eeed70f4aabae55bf5b28..0db0638f85d7ba680fd43842d1547a1c6648c8bf 100644 (file)
--- a/src/process.c
+++ b/src/process.c
@@ -4262,7 +4262,7 @@ wait_reading_process_input (time_limit, microsecs, read_kbd, do_display)
          else
            Available = input_wait_mask;
          check_connect = (num_pending_connects > 0);
-         check_delay = process_output_delay_count;
+         check_delay = wait_channel >= 0 ? 0 : process_output_delay_count;
        }
 
       /* If frame size has changed or the window is newly mapped,